Section: Software

Nicotine

Participant : Sylvain Soliman.

Nicotine is a GNU Prolog framework dedicated to the analysis of Petri nets. It was originally built for the computation of invariants using GNU Prolog's CLP(FD) solver but has been further extended to allow import/export of various Petri nets formats. It provides as independent modules different features that can sometimes also be integrated in BIOCHAM, like SEPI comutation, or left aside, like unambiguous ODE to Petri net conversion , since a more general heuristic conversion is developped for BIOCHAM.